/*
 * Proposition.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef PROPOSITION_H_
#define PROPOSITION_H_

#include "ModalLogic.h"
#include <string>

class Proposition {
public:
	// I don't know the style of C++.
	Proposition(ModalLogic name);
	virtual ~Proposition();
	virtual std::string toString();
	virtual std::string toLatex();
	virtual bool compare(Proposition*);
	virtual bool isAction();

	ModalLogic getPropName();

private:
	ModalLogic mPropName;

	bool setPropName(ModalLogic);
};

#endif /* PROPOSITION_H_ */
